‘History Boys’ to be Staged in Mid-Summer